退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:图形扩展,Tseitin公式和Csp的分辨率证明
Dmitry Itsykson; Vsevolod Oparin;
机译:Tseitin公式对所有恒定度图的正则分解引用的几乎紧下界
机译:警察 - 强盗游戏和Tseitin公式的分辨率
机译:警察强盗游戏和Tseitin公式的解析
机译:CSP的图形扩展,Tseitin公式和分辨率证明
机译:软打样的趋势在商业平版印刷中用作合同证明
机译:通过计算机断层扫描容量研究得出的公式估算自发性气胸的再扩张率
机译:CSP算法的分辨率证明系统的理论比较
机译:Nsestellensatz证明的Tseitin的重言式和下界
机译:对称增强的正交多中心球面谐波-球面贝塞尔扩张法在中等分辨率下从头确定i初始晶状体相的方法
机译:通过对称增强正交多中心球谐球球形贝塞尔膨胀从头确定中等分辨率大分子晶体相的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。